Symposium on Satisfiability Solvers and Program Verification

英文缩写：SSPV

英文全称：Symposium on Satisfiability Solvers and Program Verification

中文释义：可满足性求解与程序验证研讨会

中文拼音：kě mǎn zú xìng qiú jiě yǔ chéng xù yàn zhèng yán tǎo huì

所属分类：Community